Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 2 Dec 2020 13:40:25 +0000 (13:40 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 2 Dec 2020 13:40:25 +0000 (13:40 +0000)
Various documentation fixes

See merge request GNOME/gtk!2900


Trivial merge